# typed: true

fun
